Skip to content

Rust: Add rust/diagnostics/type-inference-consistency-counts. #20185

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Aug 11, 2025

Conversation

geoffw0
Copy link
Contributor

@geoffw0 geoffw0 commented Aug 7, 2025

Add rust/diagnostics/type-inference-consistency-counts. We have one of these for each of the other inconsistency types, to aid debugging.

@geoffw0 geoffw0 requested a review from a team as a code owner August 7, 2025 14:12
@Copilot Copilot AI review requested due to automatic review settings August 7, 2025 14:12
@geoffw0 geoffw0 added no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code labels Aug 7, 2025
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Adds a new diagnostic query to count type inference inconsistencies by type in Rust CodeQL analysis. This diagnostic query complements existing consistency checking tools by providing aggregate counts for debugging purposes.

  • Adds TypeInferenceConsistencyCounts.ql diagnostic query for counting type inference inconsistencies
  • Imports from the internal TypeInferenceConsistency module to access inconsistency data
  • Provides aggregate statistics to aid in debugging type inference issues

@geoffw0 geoffw0 merged commit a1bc865 into github:main Aug 11, 2025
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants